Reuse by Contract
نویسندگان
چکیده
Reuse by contract is the application of formal methods to software reuse: software components are associated with contracts|formal models of their functional behaviour|and administered , retrieved, and reused by these. We argue that reuse by contract is necessary for safe reuse in a formal process model, but is helpful even for more traditional software development. We discuss some obstacles against the use of formal component speciications, and propose some solutions in order to make reuse by contract practical. Workshop Goals: Discuss the design of reusable component libraries; discuss ways to mitigate acceptance problems; discuss tool architectures; study relation with OO design methods; study combination with structural code reuse mechanism (e.g., patterns or functors.)
منابع مشابه
Design by Contract in Java – a roadmap to excellence in trusted components
Reuse is one of the main targets in future software engineering. This article outlines a new concept in software development, that could enforce reuse with trusted components. The central idea is the involvement of the well known concept of design by contract into the Java programming language with recent approaches. In addition, processes and tools that support design by contract throughout th...
متن کاملReuse Contracts: Connecting Bottom-Up and Top-Down Reuse
Whereas most object-oriented technologies traditionally achieve reuse in a bottom-up fashion, the research areas of architectures and domain analysis advocate a top-down approach to achieve systematic reuse. Practice shows that a combination of both is often desired or needed. The reuse contracts model can provide such a combination and can make the connection between object technology, archite...
متن کاملManaging Unanticipated Evolution of Software Architectures
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult to anticipate. The reuse contract formalism has been designed speci cally to deal with unanticipated software evolution, and has already proven its practical use in di erent domains. We claim that the reuse contract ap...
متن کاملA Formal Framework for Behavioural Reuse of Agent Components: Application to Interaction Protocols
This paper focuses on the reuse of agent components in open multi-agent systems, and argues that the traditional approaches used in software multiagent systems are limited and not rigorous. On this basis, we propose a formal framework for the definition of behavioural reuse in agent components systems. This framework is based upon the preorder relations which are considered in the study of conc...
متن کاملInterface Suites as Contracts. Composition of Contracts in UML
We present a tool for composition of component specifications. The tool uses UML diagrams to model the composition. A fixed component specification is a contract between some roles communicating via interfaces. A contract has a specific underlying model that we present. Composition of contracts is a contract that extends contracts of composites, but does not change them. To guarantee this featu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997